Plus précisément si est une fonction de E × F dans G, où E, F et G sont des espaces vectoriels normés ou plus simplement des intervalles de R, l`équation définit une fonction implicite si l`on peut exprimer une des variables en fonction de l`autre pour tous les couples vérifiant l`équation.